Typed Sets as a Basis for Object-Oriented Database Schemas
نویسندگان
چکیده
The object-oriented data model TM is a language that is based on the formal theory of FM, a typed language with object-oriented features such as attributes and methods in the presence of subtyping. The general (typed) set constructs of FM allow one to deal with (database) constraints in TM. The paper describes the theory of FM, and discusses the role that set expressions may play in conceptual database schemas. Special attention is paid to the treatment of constraints, and a three-step speciication approach is proposed. This approach results in the formal notion of database universe stated as an FM expression.
منابع مشابه
Functional Programming Formalisms for OODB Methods
Two well-studied functional formalisms in the theory of programming languages are (1) applicative program schemas and (2) typed lambda calculi. We relate these programming formalisms to object-oriented databases (OODBs) and in particular to the description of methods. The language of method schemas (MS) is a programming formalism based on applicative program schemas with additional key object-o...
متن کاملFunctional Programming Formalisms for OODBMS Methods
Two well-studied functional formalisms in the theory of programming languages are (1) applicative program schemas and (2) typed lambda calculi. We relate these programming formalisms to object-oriented databases (OODBs) and in particular to the description of methods. The language of method schemas (MS) is a programming formalism based on applicative program schemas with additional key object-o...
متن کاملA Typed Deductive and Object - Oriented Database LanguageMengchi
This paper presents a novel typed deductive object-oriented database language, called ROL (Rule-based Object Language), which is being developed at the University of Regana. This language is a declarative language. It can naturally and directly support object-oriented features such as object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding, and schema in...
متن کاملFlexible Object-Oriented Views Using Method Propagation
Object-oriented views play a key role when giving accessing applications a new or restricted perspective on persistent object-oriented data. However, traditional object-oriented view systems only allow for limited changes when it comes to restructuring a database schema and the related persistent objects in a view. We present a new approach for defining object-oriented views that enables view s...
متن کاملAn Object Query Language for Multimedia Federations
The F́ıschlár system provides a large centralised repository of multimedia files. As expansion is difficult in centralised systems and as different user groups have a requirement to define their own schemas, the EGTV (Efficient Global Transactions for Video) project was established to examine how the distribution of this database could be managed. The federated database approach is advocated whe...
متن کامل